sys{-}cmds($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$chain\_sys\_ind($x$;$c$.[$c$ / []];$i$,${\it cmds}$.${\it cmds}$)